theorem proving machine
定理证明机
热门查询
- pelham n. 佩勒姆马勒衔（联结大勒衔与小勒衔的马勒）
- isabel n. 伊莎贝尔（人名）
- impractical adj. 不切实际的，不现实的；不能实行的
- byte n. 字节；8位元组
- unhesitatingly adv. 不踌躇地；迅速地
- chequebook n. 支票本
- ascendancy n. 优势；支配地位（等于ascendency，ascendence）
- hua abbr. 住房与城市事务（Housing and Urban Affairs） n. (Hua)人名；(柬)华
- managed adj. 托管的；与中央化计划及管制有关的 v. 管理；负责；设法完成（manage的过去分词）
- fleshpots n. 奢侈的生活; 暖衣饱食; 豪华的餐厅; 寻欢作乐的场所
- long-suffering adj. 坚忍的；长期忍受的 n. 忍耐；坚忍；长期受苦
- shadow n. 阴影；影子；幽灵；庇护；隐蔽处 adj. 影子内阁的 vt. 遮蔽；使朦胧；尾随；预示 vi. 渐变；变阴暗
- Lourdes n. 卢尔德（法国西南部城市）
- inequality n. 不平等；不同；不平均
- chip n. [电子] 芯片；筹码；碎片；(食物的) 小片; 薄片 vt. 削，凿；削成碎片 vi. 剥落；碎裂
- fracture n. 破裂，断裂；[外科] 骨折 vt. 使破裂 vi. 破裂；折断
- Brasov n. 布拉索夫，罗马尼亚中部的县
- strewth int. （表示惊讶、厌烦等）哎哟
- heroin n. [药][毒物] 海洛因，吗啡
- bolster n. 支持；长枕 vt. 支持；支撑 n. (Bolster)人名；(英)博尔斯特
考试词汇表
- right offspring
- right operation
- right over body
- right part list
- right recursion
- right remainder
- right satellite
- right side pain
- right side spin
- right side view
- right strophoid
- right the wrong
- right to appeal
- right to choose
- right to confer
- right to convoy
- right to health
- right to labour
- right to litter
- right to recall
